COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	αβxsubjob↔αβxlattach↔ start up a subjob and take output in attach buffer
C00013 ENDMK
C⊗;
αβxsubjob⊗↔αβxlattach⊗↔⊗; start up a subjob and take output in attach buffer
αβ0αβxjf 8⊗↔⊗; preserves tabs in justifying paragraphs

αXDEFINE name⊗↔
	αZTEMP1⊗↔
αβ⊗↓
αXDEFINE TEMP1⊗↔
	αXEXECUTE EINIT.CMD[1,3](17)⊗↔
	αZname⊗↔
αβ⊗↓

αXDEFINE del1⊗↔⊗; delete arbitrary file mentioned on current line
αidel αs]α αk⊗↔α⊗↔α=αβ⊗↓

αXDEFINE DEL⊗↔⊗; delete E format file mentioned on current line
αxpo⊗↔αxreadw⊗↔αxfiledelete⊗↔αhαβdαβ⊗↓

αXDEFINE dover⊗↔⊗; send file named on current line to dover
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE rover⊗↔⊗; send file named on current line to rover
αcαeαirover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE boise⊗↔⊗; send file named on current line to boise
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE esp⊗↔⊗; send file named on current line to esp; prints it in fix40
αcαeαimaple αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE maple⊗↔⊗; send file named on current line to esp; prints it in fix40
αcαeαimaple αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE lathro⊗↔⊗; send file named on current line to lathrop; prints it in fix40
αcαeαilathrop αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE ≡⊗↔⊗; enter pointed file in readwrite mode
αxpo⊗↔αxreadw⊗↔αβ⊗↓

αXDEFINE %⊗↔⊗; surround word with italics for TEX
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE ∩⊗↔⊗; take line back to file of files
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓

αXDEFINE MEM⊗↔⊗; standard start of memos
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓

αXDEFINE COM⊗↔⊗; For commenting out file name for pub memos
αi.<<α⊗=>>⊗↔αβ⊗↓

αXDEFINE AIL⊗↔⊗; standard start of AI letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂AIL αβ⊗↓

αXDEFINE CSL⊗↔⊗; standard start of CS letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂CSL αβ⊗↓

αxdefine msg⊗↔⊗; switching to the message file
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine jnk⊗↔⊗; switching to the junk message file
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓

αxdefine fil⊗↔⊗; switching to the file of files last page
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓

αxdefine fil1⊗↔⊗; switching to the file of files first page
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓

αxdefine cal⊗↔⊗; switching to the calendar file
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine ∪⊗↔⊗; switching to the message file
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine $⊗↔⊗; putting in an equation number. execute macro after typing symbol
αi α⊗Bαb  αi({eq αs αdβ}β)αβ⊗↓

αXDEFINE TASK⊗↔⊗; puts attach buffer in TASKS file
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓

αxdefine pho⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αxdefine phon⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αxdefine adr⊗↔⊗; putting my address in file
⊗↔John McCarthy⊗↔Computer Science Department
⊗↔Stanford University⊗↔Stanford, CA 94305⊗↔αβ⊗↓

αxdefine new⊗↔⊗; starting a file, gets updated each quarter
α⊗↔αs⊗=αi[w88,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αxdefine ekl⊗↔⊗; starting up an ekl
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓

αxdefine lisp⊗↔⊗; starting up a lisp
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓

αXDEFINE L⊗↔⊗; Run lisp functions.  Needs lines ;bfun ;efun ;end.
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓

αxdefine phil⊗↔⊗; mailing to "phil-sci%oz"%mc mails the rest of the page
α∞αxmail "phil-sci%oz"%mc/su⊗↔αβ⊗↓

αxdefine dov⊗↔⊗; send the file mentioned in the current line to the dover
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓

αxdefine 1987⊗↔⊗; switching to the 1987 file
αβλ1987.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1988⊗↔⊗; switching to the 1988 file
αβλ1988.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1986⊗↔⊗; switching to the 1986 file
αβλ1986.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1985⊗↔⊗; switching to the 1985 file
αβλ1985.xgp[up,doc]/3p⊗↔αβ⊗↓

αXDEFINE REcon⊗↔⊗; reconnecting a maclisp job after re-entering e
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE MAIL/su⊗↔⊗; mails rest of page. requires address line and subject line
αβ∞αβxmail/su⊗↔αβ⊗↓

αXDEFINE VOTE⊗↔⊗; cleans up line of numbers with one comma for totalling votes
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE RELISP⊗↔⊗; reconnects to maclisp job after re-entry to E
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE MYPHON⊗↔
(work: 415 497-4430) (home: 857-0672)αβ⊗↓

αXDEFINE C⊗↔⊗; circumscription
circumscriptionαβ⊗↓

αXDEFINE E⊗↔⊗; writing a reference to an equation
({eq })αb}αiαβ⊗↓

αXDEFINE BIO⊗↔⊗; switching to my biography file
αβεbiojmc[1/∞p/∞l⊗↔αβ⊗↓

αXDEFINE SYM⊗↔⊗; making a symbol preceded by space italic for TEX
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE SYMB⊗↔⊗; making a symbol at beginning of line italic for TEX
α⊗→αi{\it α⊗=}αβ⊗↓

αXDEFINE EXT⊗↔⊗; starting a page at the end of a file
αβxstopone⊗↔αzextq1⊗↔αβ∞αβlαβxmark⊗↔αβxstopall⊗↔αβ⊗↓

αXDEFINE extq1⊗↔⊗; subsidiary to ext
αβ∞αβpαβ⊗↓

⊗⊂ Brings in REPLY macro from EINIT[1,3] (if necessary) and executes it.⊃

αxDEFINE R⊗↔
	αzR1⊗↔αxSET R1=NULL⊗↔αβ#αzREPLY⊗↔
αβ⊗↓

αxDEFINE R1⊗↔
	αxEXECUTE EINIT.CMD[1,3](14)⊗↔
αβ⊗↓

αxDEFINE NULL⊗↔
	⊗≠
αβ⊗↓

αXDEFINE T⊗↔⊗; Puts the attach buffer at the end of other file (for comments).
αhαβ∞αβlαeβ⊗↔αhαxcan⊗↔αβ⊗↓

αXDEFINE MOVE⊗↔⊗; moves paragraph to end of previous page - used with calendar
αβ!αβaαβ-αβpαβ∞αβlαβeαβoαβ⊗↓

αXDEFINE N⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔αβ⊗↓

αXDEFINE Note⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔αβ⊗↓

αXDEFINE NOTES⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔αβ⊗↓

αXDEFINE PURGE⊗↔⊗; purges failed message from msg and outgo
αzmsg⊗↔αβ∂αβdαβεoutgo.msg/∞p⊗↔αβ∂αβdαβhαβ⊗↓

αXDEFINE MSG1⊗↔⊗; to end of first page of message file
αβεmsg.msg[1,jmc]/1p/∞l⊗↔αβ⊗↓

αXDEFINE DIR⊗↔⊗; with dir2 to get directory info about file in files[let,jmc]
αcαeβdβiβ αs⊗=αk⊗↔α=αβ⊗↓

αXDEFINE DIR2⊗↔⊗; with dir to get directory information
αβe⊗↑αβ6αβd⊗↔αβ6αβd⊗↑αk ⊗=⊗=⊗↔αβ⊗↓

αXDEFINE L⊗↔⊗; switching to file of letters
αxal let⊗↔αβεletter/e⊗↔αβ⊗↔αβ⊗↓

αXDEFINE MEMTEX⊗↔⊗; starting a memo in TEX
αβlαxmark⊗↔α-αp\input memo.tex[let,jmc]⊗↔\title{}⊗↔αxmark⊗↔
\smallskip
\centerline{Copyright \copyright\ \number\year\ by John McCarthy}⊗↔
\smallskip
\noindent{This draft of \jobname\ TEXed on \jmcdate\ at \theTime}⊗↔
\vfill\eject\end⊗↔αβ⊗↓

αXDEFINE BAD⊗↔⊗; removing aborted message from msg.msg and outgo.msg
αβεmsg.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβεoutgo.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβhαβ⊗↓

αXDEFINE EM⊗↔⊗; taking net address to bottom of page
αU⊗↔αCαβ∞αβLαβEαS@αB α β⊗↔α⊗↔⊗↑αβD⊗↔αβ⊗↓